and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
561	Refining the Concept of Scientific Inference When Working With Big Data: A Workshop Sponsored by the National Institutes of Health Big Data to Knowledge Initiative and the National Science Foundation June 8-9, 2016 Natio Add to Reading List Source URL: sites.nationalacademies.org Language: English Statistics Logic Knowledge Inductive reasoning Causal inference Reasoning Cosma Shalizi Carnegie Mellon University Inference
562	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-16 07:08:02 Theoretical computer science Electronic engineering Models of computation Electrical engineering Computer arithmetic Digital electronics Logic gates Reversible computing Thermodynamics Adder Fredkin gate Quantum computing
563	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
564	Modeling Cross-Cultural Performance on the Visual Oddity Task Andrew Lovett1 , Kate Lockwood1, and Kenneth Forbus1 Qualitative Reasoning Group, Northwestern University 2133 Sheridan Rd., Evanston, IL, 60201, USA {andrew- Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-05 12:24:55 Reasoning Feature detection Qualitative Reasoning Group Analogy Conceptual model Qualitative reasoning Feature Logic Cognition Critical thinking
565	Epicureans and American Indians Add to Reading List Source URL: www.gfisher.org Language: English - Date: 2010-10-27 18:47:52 Philosophy Belief Academia Hellenistic philosophy Philosophical movements Causality Epicureanism Logic Astronomica Determinism Universe Stoicism
566	Mechanism Design by Creditability? Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland Abstract. This paper attends to the pro Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:30 Mathematics Game theory Algorithm Mathematical logic Theoretical computer science Greedy algorithm Mechanism design Nash equilibrium
567	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz
568	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
569	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint
570	New Essays on the Human Understanding Book III—Words G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Metaphysics Ontology Semantics Philosophical logic Philosophy of language Concepts Definition Gottfried Wilhelm Leibniz Idea Potentiality and actuality Meaning

UPDATE